Communicating Sequential Processes The First 25 Years: Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 Revised Invited Papers: 3525 (Lecture Notes in Computer Science)
by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
ISBN 13: 9783540258131
Format: Paperback (326 pages) Publisher: Springer Published: 03 May 2005
Save for later
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers: 2629 (Lecture Notes in Computer Science)
by Ali E. Abdallah, Peter Ryan, Steve Schneider
ISBN 13: 9783540206934
Format: Illustrated (256 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008